1. Constructing correct software

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer software ; Development. ; Formal methods (Computer science) ;

RIS Bibtex ISO

2. Constructing correct software

پدیدآورنده: / John Cooke

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Computer software -- Development,Formal methods (computer science)

رده :

QA

76

.

76

.

D47C666

2005

مشاهده در قفسه مجازی RIS Bibtex ISO

3. Constructing correct software

پدیدآورنده: / John Cooke

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer software--Development,Formal methods (Computer science)

رده :

QA

,

76

.

76

,.

D47

,

C666

,

2005

مشاهده در قفسه مجازی RIS Bibtex ISO

4. FM 2012

پدیدآورنده: Dimitra Giannakopoulou, Dominique Méry (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses

رده :

QA76

.

76

.

D47

I593

2012eb

مشاهده در قفسه مجازی RIS Bibtex ISO

5. FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings

پدیدآورنده: John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Congresses ، System design

رده :

QA

76

.

L28

Vol

.

3582

مشاهده در قفسه مجازی RIS Bibtex ISO

6. FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

پدیدآورنده: Jeannette M. Wing, Jim Woodcock, Jim Davies )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Application software -- Development

رده :

QA

76

.

L28

Vol

.

1708-1709

مشاهده در قفسه مجازی RIS Bibtex ISO

7. FME 2002 :

پدیدآورنده: Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses

رده :

QA76

.

76

.

D47

I593

2002

مشاهده در قفسه مجازی RIS Bibtex ISO

8. FME 2003 :

پدیدآورنده: Keijiro Araki, Stefania Gnesi, Dino Mandrioli

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses

رده :

QA76

.

76

.

D47

I593

2003

مشاهده در قفسه مجازی RIS Bibtex ISO

9. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

پدیدآورنده: Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design

رده :

QA

76

.

L28

Vol

.

2805

مشاهده در قفسه مجازی RIS Bibtex ISO

10. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings

پدیدآورنده: Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design

رده :

QA

76

.

L28

Vol

.

2391

مشاهده در قفسه مجازی RIS Bibtex ISO

11. Formal engineering for industrial software development

پدیدآورنده: / Shaoying Liu

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Computer software -- Development,Object-oriented programming (Computer science),Formal methods (computer science)

رده :

QA

76

.

76

.

D47L58

2004

مشاهده در قفسه مجازی RIS Bibtex ISO

12. Formal methods :

پدیدآورنده: Tiago Massoni, Mohammad Reza Mousavi (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :

QA76

.

9

.

F67

مشاهده در قفسه مجازی RIS Bibtex ISO

13. Formal methods and software engineering :

پدیدآورنده: Jing Sun, Meng Sun (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :

QA76

.

9

.

F67

مشاهده در قفسه مجازی RIS Bibtex ISO

14. Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures

پدیدآورنده: Marco Bernardo, Alessandro Bogliolo )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Mobile computing,Congresses ، Formal methods )Computer science(,Congresses ، Computer software -- Development

رده :

QA

76

.

L28

Vol

.

3465

مشاهده در قفسه مجازی RIS Bibtex ISO

15. Formal methods for multicore programming

پدیدآورنده: \ Marco Bernardo , Einar Broch Johnsen (Eds.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرم‌افزار -- تولید -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها

رده :

QA

76

.

76

.

F6

2015

E-Book

,

مشاهده در قفسه مجازی RIS Bibtex ISO

16. Formal software developmen

پدیدآورنده: / Quentin Charatan and Aaron Kans

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer software--Development,Formal methods (Computer science)

رده :

QA

,

76

.

758

,.

C43

,

2004eb

مشاهده در قفسه مجازی RIS Bibtex ISO

17. Formal software development

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer software ; Development. ; Formal methods (Computer science) ;

RIS Bibtex ISO

18. Formal software development: from VDM to Java

پدیدآورنده: Charatan, Quentin

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computer software-- Development,، Formal methods )computer science(

رده :

QA

76

.

76

.

D47

.

C42

2003

مشاهده در قفسه مجازی RIS Bibtex ISO

19. Formal software developmentfrom VDM to Java

پدیدآورنده: / Quentin Charatan and Aaron Kans

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Computer software -- Development,Formal methods (computer science)

رده :

QA

76

.

758

.

C43

2004

مشاهده در قفسه مجازی RIS Bibtex ISO

20. Formal specification :

پدیدآورنده: Nimal Nissanke.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Application software -- Development.,Formal methods (Computer science)

رده :

QA76

.

9

.

F67

N563

1999

مشاهده در قفسه مجازی RIS Bibtex ISO